Quantitative Analysis of UML Statechart Models of Dependable Systems

The paper introduces a method which allows quantitative performance and dependability analysis of systems modeled by using UML statechart diagrams. The analysis is performed by transforming the UML model to Stochastic Reward Nets (SRN). A large subset of statechart model elements is supported including event processing, state hierarchy and transition priorities. The transformation is presented ...

متن کامل

Quantitative analysis of dependability critical systems based on UML statechart models

The paper introduces a method which allows quantitative performance and dependability analysis of systems modeled by using UML statechart diagrams. The analysis is performed by transforming the UML model to Stochastic Reward Nets (SRN). A large subset of statechart model elements is supported including event processing, state hierarchy and transition priorities. The transformation is presented ...

متن کامل

Verification of UML Statechart Models of Embedded Systems

The test and verification are essential phases of any system development. With the enlargement of the size and complexity of the system under development the importance of these tasks increases. Traditionally the system development is divided into DQDO\VLVV GHVLJQ and LPSOHPHQWDWLRQ phases regardless of the development process applied (Fig. 1). The system development process is typically accomp...

متن کامل

Quantitative Analysis of UML Models

When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day wor...

متن کامل

QuantUM: Quantitative Safety Analysis of UML Models

When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day wor...

متن کامل

Quantitative Analysis of UML Statechart Models of Dependable Systems

نویسندگان

چکیده

منابع مشابه